upper derivate

上导出数